منابع مشابه
The Bolzano-Poincaré Type Theorems
In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function f : I → R, or alternatively the existence of solutions of the equation f x 0. In the case n 1 the Poincaré Theorem is well known Bolzano Theorem. In 1940Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article...
متن کاملSempiternal Truth. The Bolzano-Twardowski-Lesniewski Axis
In 1913 Stanisław Leśniewski published his article on the sempiternity of truth, ‘Is Truth only Eternal or is it both Eternal and Sempiternal?’ (1913). The paper, directed against Kotarbiński’s ‘The Problem of the Existence of the Future’ (1913), made an important contribution to the debate on the excluded middle current in the Lvov circle in those years. The discussion involved at the same tim...
متن کاملGeneralization of the Bolzano theorem for simplices
Article history: Received 18 October 2015 Received in revised form 21 December 2015 Accepted 28 December 2015 Available online 8 January 2016 MSC: primary 55M20, 54H25 secondary 47H10, 65H10, 91A44, 91B50
متن کاملLimited Omniscience and the Bolzano-weierstrass Principle
The constructive study of metric spaces requires at first an examination of each classical proposition for numerical content. In classical mathematics it is a theorem that sequences in a compact space have convergent subsequences, but this is not constructively true. For compact intervals on the real line it has long been known that this theorem is nonconstructive because it implies the Limited...
متن کاملIs There Still Logic in Bolzano ' S Key ?
1 My encounters with Bernard Bolzano I am not a Bolzano scholar, but among practising logicians, my encounters with his work seem above average. The first of these was in my student days, when reading some history of logic on my own in the great works by Bochenski, and the Kneales. I was intrigued by finding how my standard textbooks had crafted an eschatological history of the field, with latt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal for the History of Analytical Philosophy
سال: 2018
ISSN: 2159-0303
DOI: 10.15173/jhap.v6i7.3214